Fundamental theorem on homomorphism of groups